ReP USP - Resultado da busca

Trabalho de evento
Hyperintensional models and belief change (2022)
Souza, Marlo ; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Marlo e WASSERMANN, Renata. Hyperintensional models and belief change. 2022, Anais.. Cham: Springer, 2022. Disponível em: https://doi.org/10.1007/978-3-031-21686-2_30. Acesso em: 21 maio 2024.
APA
Souza, M., & Wassermann, R. (2022). Hyperintensional models and belief change. In Proceedings. Cham: Springer. doi:10.1007/978-3-031-21686-2_30
NLM
Souza M, Wassermann R. Hyperintensional models and belief change [Internet]. Proceedings. 2022 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_30
Vancouver
Souza M, Wassermann R. Hyperintensional models and belief change [Internet]. Proceedings. 2022 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_30
Trabalho de evento
Time robust trees: using temporal invariance to improve generalization (2022)
Moneda, Luis ; Mauá, Denis Deratani
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: INVARIANTES, TEORIA DA DECISÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MONEDA, Luis e MAUÁ, Denis Deratani. Time robust trees: using temporal invariance to improve generalization. 2022, Anais.. Cham: Springer, 2022. Disponível em: https://doi.org/10.1007/978-3-031-21686-2_27. Acesso em: 21 maio 2024.
APA
Moneda, L., & Mauá, D. D. (2022). Time robust trees: using temporal invariance to improve generalization. In Proceedings. Cham: Springer. doi:10.1007/978-3-031-21686-2_27
NLM
Moneda L, Mauá DD. Time robust trees: using temporal invariance to improve generalization [Internet]. Proceedings. 2022 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_27
Vancouver
Moneda L, Mauá DD. Time robust trees: using temporal invariance to improve generalization [Internet]. Proceedings. 2022 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1007/978-3-031-21686-2_27
Trabalho de evento
Exploration versus exploitation in model-based reinforcement learning: an empirical study (2022)
Lovatto, Ângelo Gregório ; Barros, Leliane Nunes de ; Mauá, Denis Deratani
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Assunto: CONTROLE ÓTIMO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LOVATTO, Ângelo Gregório e BARROS, Leliane Nunes de e MAUÁ, Denis Deratani. Exploration versus exploitation in model-based reinforcement learning: an empirical study. 2022, Anais.. Cham: Springer, 2022. Disponível em: https://doi.org/10.1007/978-3-031-21689-3_3. Acesso em: 21 maio 2024.
APA
Lovatto, Â. G., Barros, L. N. de, & Mauá, D. D. (2022). Exploration versus exploitation in model-based reinforcement learning: an empirical study. In Proceedings. Cham: Springer. doi:10.1007/978-3-031-21689-3_3
NLM
Lovatto ÂG, Barros LN de, Mauá DD. Exploration versus exploitation in model-based reinforcement learning: an empirical study [Internet]. Proceedings. 2022 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1007/978-3-031-21689-3_3
Vancouver
Lovatto ÂG, Barros LN de, Mauá DD. Exploration versus exploitation in model-based reinforcement learning: an empirical study [Internet]. Proceedings. 2022 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1007/978-3-031-21689-3_3
Trabalho de evento
Gradient estimation in model-based reinforcement learning: a study on linear quadratic environments (2021)
Lovatto, Ângelo Gregório ; Bueno, Thiago Pereira ; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: MODELOS PARA PROCESSOS ESTOCÁSTICOS, APRENDIZADO COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LOVATTO, Ângelo Gregório e BUENO, Thiago Pereira e BARROS, Leliane Nunes de. Gradient estimation in model-based reinforcement learning: a study on linear quadratic environments. 2021, Anais.. Cham: Springer, 2021. Disponível em: https://doi.org/10.1007/978-3-030-91702-9_3. Acesso em: 21 maio 2024.
APA
Lovatto, Â. G., Bueno, T. P., & Barros, L. N. de. (2021). Gradient estimation in model-based reinforcement learning: a study on linear quadratic environments. In Proceedings. Cham: Springer. doi:10.1007/978-3-030-91702-9_3
NLM
Lovatto ÂG, Bueno TP, Barros LN de. Gradient estimation in model-based reinforcement learning: a study on linear quadratic environments [Internet]. Proceedings. 2021 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1007/978-3-030-91702-9_3
Vancouver
Lovatto ÂG, Bueno TP, Barros LN de. Gradient estimation in model-based reinforcement learning: a study on linear quadratic environments [Internet]. Proceedings. 2021 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1007/978-3-030-91702-9_3
Trabalho de evento
Robust ranking of brazilian Supreme Court decisions (2020)
Souza, Jackson José de ; Finger, Marcelo
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: REDES COMPLEXAS, ALGORITMOS E ESTRUTURAS DE DADOS, TRIBUNAL SUPREMO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Jackson José de e FINGER, Marcelo. Robust ranking of brazilian Supreme Court decisions. 2020, Anais.. Cham: Springer, 2020. Disponível em: https://doi.org/10.1007/978-3-030-61377-8_40. Acesso em: 21 maio 2024.
APA
Souza, J. J. de, & Finger, M. (2020). Robust ranking of brazilian Supreme Court decisions. In Proceedings. Cham: Springer. doi:10.1007/978-3-030-61377-8_40
NLM
Souza JJ de, Finger M. Robust ranking of brazilian Supreme Court decisions [Internet]. Proceedings. 2020 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1007/978-3-030-61377-8_40
Vancouver
Souza JJ de, Finger M. Robust ranking of brazilian Supreme Court decisions [Internet]. Proceedings. 2020 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1007/978-3-030-61377-8_40
Trabalho de evento
On the performance of planning through backpropagation (2020)
Scaroni, Renato; Bueno, Thiago Pereira; Barros, Leliane Nunes de ; Mauá, Denis Deratani
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: APRENDIZAGEM PROFUNDA, COMPUTAÇÃO APLICADA, METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SCARONI, Renato et al. On the performance of planning through backpropagation. 2020, Anais.. Cham: Springer, 2020. Disponível em: https://doi.org/10.1007/978-3-030-61380-8_8. Acesso em: 21 maio 2024.
APA
Scaroni, R., Bueno, T. P., Barros, L. N. de, & Mauá, D. D. (2020). On the performance of planning through backpropagation. In Proceedings. Cham: Springer. doi:10.1007/978-3-030-61380-8_8
NLM
Scaroni R, Bueno TP, Barros LN de, Mauá DD. On the performance of planning through backpropagation [Internet]. Proceedings. 2020 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1007/978-3-030-61380-8_8
Vancouver
Scaroni R, Bueno TP, Barros LN de, Mauá DD. On the performance of planning through backpropagation [Internet]. Proceedings. 2020 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1007/978-3-030-61380-8_8
Trabalho de evento
End-to-end imitation learning of lane following policies using sum-product networks (2019)
Geh, Renato Lui; Mauá, Denis Deratani
Source: Anais. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, APRENDIZAGEM PROFUNDA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GEH, Renato Lui e MAUÁ, Denis Deratani. End-to-end imitation learning of lane following policies using sum-product networks. 2019, Anais.. Porto Alegre: SBC, 2019. Disponível em: https://doi.org/10.5753/eniac.2019.9292. Acesso em: 21 maio 2024.
APA
Geh, R. L., & Mauá, D. D. (2019). End-to-end imitation learning of lane following policies using sum-product networks. In Anais. Porto Alegre: SBC. doi:10.5753/eniac.2019.9292
NLM
Geh RL, Mauá DD. End-to-end imitation learning of lane following policies using sum-product networks [Internet]. Anais. 2019 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.5753/eniac.2019.9292
Vancouver
Geh RL, Mauá DD. End-to-end imitation learning of lane following policies using sum-product networks [Internet]. Anais. 2019 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.5753/eniac.2019.9292
Trabalho de evento
Plan existence verification as symbolic model checking (2018)
Ferreira, Macilio da Silva; Menezes, Maria Viviane; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, ALGORITMOS PARA PROCESSAMENTO, PROGRAMAÇÃO HEURÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERREIRA, Macilio da Silva e MENEZES, Maria Viviane e BARROS, Leliane Nunes de. Plan existence verification as symbolic model checking. 2018, Anais.. Porto Alegre: SBC, 2018. Disponível em: https://doi.org/10.5753/eniac.2018.4409. Acesso em: 21 maio 2024.
APA
Ferreira, M. da S., Menezes, M. V., & Barros, L. N. de. (2018). Plan existence verification as symbolic model checking. In Proceedings. Porto Alegre: SBC. doi:10.5753/eniac.2018.4409
NLM
Ferreira M da S, Menezes MV, Barros LN de. Plan existence verification as symbolic model checking [Internet]. Proceedings. 2018 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.5753/eniac.2018.4409
Vancouver
Ferreira M da S, Menezes MV, Barros LN de. Plan existence verification as symbolic model checking [Internet]. Proceedings. 2018 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.5753/eniac.2018.4409
Trabalho de evento
Advances in automatically solving the ENEM (2018)
Silveira, Igor Cataneo; Mauá, Denis Deratani
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: RECUPERAÇÃO DA INFORMAÇÃO, SISTEMAS BASEADOS EM CONHECIMENTO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVEIRA, Igor Cataneo e MAUÁ, Denis Deratani. Advances in automatically solving the ENEM. 2018, Anais.. Piscataway: IEEE, 2018. Disponível em: https://doi.org/10.1109/BRACIS.2018.00016. Acesso em: 21 maio 2024.
APA
Silveira, I. C., & Mauá, D. D. (2018). Advances in automatically solving the ENEM. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2018.00016
NLM
Silveira IC, Mauá DD. Advances in automatically solving the ENEM [Internet]. Proceedings. 2018 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2018.00016
Vancouver
Silveira IC, Mauá DD. Advances in automatically solving the ENEM [Internet]. Proceedings. 2018 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2018.00016
Outros
The National Meeting on Artificial and Computational Intelligence (ENIAC) is one the main national forums for researchers... [Preface] (2018)
Mauá, Denis Deratani ; Naldi, Murilo
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MAUÁ, Denis Deratani e NALDI, Murilo. The National Meeting on Artificial and Computational Intelligence (ENIAC) is one the main national forums for researchers.. [Preface]. Proceedings. Porto Alegre: SBC. Disponível em: http://portaldeconteudo.sbc.org.br/index.php/eniac/article/view/4484. Acesso em: 21 maio 2024. , 2018
APA
Mauá, D. D., & Naldi, M. (2018). The National Meeting on Artificial and Computational Intelligence (ENIAC) is one the main national forums for researchers.. [Preface]. Proceedings. Porto Alegre: SBC. Recuperado de http://portaldeconteudo.sbc.org.br/index.php/eniac/article/view/4484
NLM
Mauá DD, Naldi M. The National Meeting on Artificial and Computational Intelligence (ENIAC) is one the main national forums for researchers.. [Preface] [Internet]. Proceedings. 2018 ;[citado 2024 maio 21 ] Available from: http://portaldeconteudo.sbc.org.br/index.php/eniac/article/view/4484
Vancouver
Mauá DD, Naldi M. The National Meeting on Artificial and Computational Intelligence (ENIAC) is one the main national forums for researchers.. [Preface] [Internet]. Proceedings. 2018 ;[citado 2024 maio 21 ] Available from: http://portaldeconteudo.sbc.org.br/index.php/eniac/article/view/4484
Trabalho de evento
Using the causal graph to enhance translations to solve contingent planning problems (2017)
Andrés, Ignasi; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANDRÉS, Ignasi e BARROS, Leliane Nunes de. Using the causal graph to enhance translations to solve contingent planning problems. 2017, Anais.. Piscataway: IEEE, 2017. Disponível em: https://doi.org/10.1109/BRACIS.2016.023. Acesso em: 21 maio 2024.
APA
Andrés, I., & Barros, L. N. de. (2017). Using the causal graph to enhance translations to solve contingent planning problems. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2016.023
NLM
Andrés I, Barros LN de. Using the causal graph to enhance translations to solve contingent planning problems [Internet]. Proceedings. 2017 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2016.023
Vancouver
Andrés I, Barros LN de. Using the causal graph to enhance translations to solve contingent planning problems [Internet]. Proceedings. 2017 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2016.023
Trabalho de evento
Markov decision processes specified by probabilistic logic programming: representation and solution (2017)
Bueno, Thiago Pereira; Mauá, Denis Deratani ; Barros, Leliane Nunes de ; Cozman, Fabio Gagliardi
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidades: IME, EP
Subjects: PROCESSOS DE MARKOV, PROGRAMAÇÃO LÓGICA, TOMADA DE DECISÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BUENO, Thiago Pereira et al. Markov decision processes specified by probabilistic logic programming: representation and solution. 2017, Anais.. Piscataway: IEEE, 2017. Disponível em: https://doi.org/10.1109/BRACIS.2016.068. Acesso em: 21 maio 2024.
APA
Bueno, T. P., Mauá, D. D., Barros, L. N. de, & Cozman, F. G. (2017). Markov decision processes specified by probabilistic logic programming: representation and solution. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2016.068
NLM
Bueno TP, Mauá DD, Barros LN de, Cozman FG. Markov decision processes specified by probabilistic logic programming: representation and solution [Internet]. Proceedings. 2017 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2016.068
Vancouver
Bueno TP, Mauá DD, Barros LN de, Cozman FG. Markov decision processes specified by probabilistic logic programming: representation and solution [Internet]. Proceedings. 2017 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2016.068
Trabalho de evento
Li-Fraumeni ontology: a case study of an ontology for knowledge discovery in a cancer domain (2016)
Budaruiche, Ricardo M. S; Wassermann, Renata ; Patrão, Diogo F. C; Achatz, Maria I. W
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, ONTOLOGIAS, DESCOBERTA DE CONHECIMENTO, NEOPLASIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BUDARUICHE, Ricardo M. S et al. Li-Fraumeni ontology: a case study of an ontology for knowledge discovery in a cancer domain. 2016, Anais.. Los Alamitos: IEEE, 2016. Disponível em: https://doi.org/10.1109/BRACIS.2015.41. Acesso em: 21 maio 2024.
APA
Budaruiche, R. M. S., Wassermann, R., Patrão, D. F. C., & Achatz, M. I. W. (2016). Li-Fraumeni ontology: a case study of an ontology for knowledge discovery in a cancer domain. In Proceedings. Los Alamitos: IEEE. doi:10.1109/BRACIS.2015.41
NLM
Budaruiche RMS, Wassermann R, Patrão DFC, Achatz MIW. Li-Fraumeni ontology: a case study of an ontology for knowledge discovery in a cancer domain [Internet]. Proceedings. 2016 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2015.41
Vancouver
Budaruiche RMS, Wassermann R, Patrão DFC, Achatz MIW. Li-Fraumeni ontology: a case study of an ontology for knowledge discovery in a cancer domain [Internet]. Proceedings. 2016 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2015.41
Trabalho de evento
Continuous real time dynamic programming for discrete and continuous state MDPs (2014)
Vianna, Luis Gustavo Rocha; Sanner, Scott; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: PROCESSOS DE MARKOV, PROGRAMAÇÃO DINÂMICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VIANNA, Luis Gustavo Rocha e SANNER, Scott e BARROS, Leliane Nunes de. Continuous real time dynamic programming for discrete and continuous state MDPs. 2014, Anais.. Los Alamitos: IEEE, 2014. Disponível em: https://doi.org/10.1109/BRACIS.2014.34. Acesso em: 21 maio 2024.
APA
Vianna, L. G. R., Sanner, S., & Barros, L. N. de. (2014). Continuous real time dynamic programming for discrete and continuous state MDPs. In Proceedings. Los Alamitos: IEEE. doi:10.1109/BRACIS.2014.34
NLM
Vianna LGR, Sanner S, Barros LN de. Continuous real time dynamic programming for discrete and continuous state MDPs [Internet]. Proceedings. 2014 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2014.34
Vancouver
Vianna LGR, Sanner S, Barros LN de. Continuous real time dynamic programming for discrete and continuous state MDPs [Internet]. Proceedings. 2014 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2014.34
Trabalho de evento
Stochastic bisimulation for MDPs using reachability analysis (2013)
Santos, Felipe Martins dos; Barros, Leliane Nunes de ; Gamarra Holguin, Mijail
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, PROCESSOS DE MARKOV, PROCESSOS ESTOCÁSTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Felipe Martins dos e BARROS, Leliane Nunes de e GAMARRA HOLGUIN, Mijail. Stochastic bisimulation for MDPs using reachability analysis. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/BRACIS.2013.43. Acesso em: 21 maio 2024.
APA
Santos, F. M. dos, Barros, L. N. de, & Gamarra Holguin, M. (2013). Stochastic bisimulation for MDPs using reachability analysis. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2013.43
NLM
Santos FM dos, Barros LN de, Gamarra Holguin M. Stochastic bisimulation for MDPs using reachability analysis [Internet]. Proceedings. 2013 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2013.43
Vancouver
Santos FM dos, Barros LN de, Gamarra Holguin M. Stochastic bisimulation for MDPs using reachability analysis [Internet]. Proceedings. 2013 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2013.43
Trabalho de evento
Algebraic sentential decision diagrams in symbolic probabilistic planning (2013)
Herrmann, Ricardo Guimarães; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, ESTRUTURAS DE DADOS, TEORIA DA DECISÃO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HERRMANN, Ricardo Guimarães e BARROS, Leliane Nunes de. Algebraic sentential decision diagrams in symbolic probabilistic planning. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/BRACIS.2013.37. Acesso em: 21 maio 2024.
APA
Herrmann, R. G., & Barros, L. N. de. (2013). Algebraic sentential decision diagrams in symbolic probabilistic planning. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2013.37
NLM
Herrmann RG, Barros LN de. Algebraic sentential decision diagrams in symbolic probabilistic planning [Internet]. Proceedings. 2013 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2013.37
Vancouver
Herrmann RG, Barros LN de. Algebraic sentential decision diagrams in symbolic probabilistic planning [Internet]. Proceedings. 2013 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2013.37
Trabalho de evento
Probabilistic answer set programming (2013)
Morais, Eduardo Menezes de; Finger, Marcelo
Source: Proceeding. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: PROGRAMAÇÃO LÓGICA, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORAIS, Eduardo Menezes de e FINGER, Marcelo. Probabilistic answer set programming. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/BRACIS.2013.33. Acesso em: 21 maio 2024.
APA
Morais, E. M. de, & Finger, M. (2013). Probabilistic answer set programming. In Proceeding. Piscataway: IEEE. doi:10.1109/BRACIS.2013.33
NLM
Morais EM de, Finger M. Probabilistic answer set programming [Internet]. Proceeding. 2013 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2013.33
Vancouver
Morais EM de, Finger M. Probabilistic answer set programming [Internet]. Proceeding. 2013 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2013.33
Trabalho de evento
Regressão de ações não determinísticas: uma solução simbólica (2013)
Menezes, Maria Viviane de; Barros, Leliane Nunes de ; Pereira, Silvio do Lago
Source: Anais. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Assunto: GERAÇÃO DE PLANOS EM INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENEZES, Maria Viviane de e BARROS, Leliane Nunes de e PEREIRA, Silvio do Lago. Regressão de ações não determinísticas: uma solução simbólica. 2013, Anais.. Porto Alegre: SBC, 2013. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf. Acesso em: 21 maio 2024.
APA
Menezes, M. V. de, Barros, L. N. de, & Pereira, S. do L. (2013). Regressão de ações não determinísticas: uma solução simbólica. In Anais. Porto Alegre: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf
NLM
Menezes MV de, Barros LN de, Pereira S do L. Regressão de ações não determinísticas: uma solução simbólica [Internet]. Anais. 2013 ;[citado 2024 maio 21 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf
Vancouver
Menezes MV de, Barros LN de, Pereira S do L. Regressão de ações não determinísticas: uma solução simbólica [Internet]. Anais. 2013 ;[citado 2024 maio 21 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf
Trabalho de evento
Extração e consulta de informações do currículo Lattes baseadas em ontologias (2013)
Galego, Eduardo Ferreira; Wassermann, Renata
Source: Anais. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Assunto: ONTOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GALEGO, Eduardo Ferreira e WASSERMANN, Renata. Extração e consulta de informações do currículo Lattes baseadas em ontologias. 2013, Anais.. Porto Alegre: SBC, 2013. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0043.pdf. Acesso em: 21 maio 2024.
APA
Galego, E. F., & Wassermann, R. (2013). Extração e consulta de informações do currículo Lattes baseadas em ontologias. In Anais. Porto Alegre: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0043.pdf
NLM
Galego EF, Wassermann R. Extração e consulta de informações do currículo Lattes baseadas em ontologias [Internet]. Anais. 2013 ;[citado 2024 maio 21 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0043.pdf
Vancouver
Galego EF, Wassermann R. Extração e consulta de informações do currículo Lattes baseadas em ontologias [Internet]. Anais. 2013 ;[citado 2024 maio 21 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0043.pdf
Trabalho de evento
Generalized probabilistic satisfiability (2013)
De Bona, Glauber ; Cozman, Fabio Gagliardi ; Finger, Marcelo
Source: Proceeding. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidades: EP, IME
Assunto: LÓGICA FORMAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Generalized probabilistic satisfiability. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/BRACIS.2013.38. Acesso em: 21 maio 2024.
APA
De Bona, G., Cozman, F. G., & Finger, M. (2013). Generalized probabilistic satisfiability. In Proceeding. Piscataway: IEEE. doi:10.1109/BRACIS.2013.38
NLM
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability [Internet]. Proceeding. 2013 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2013.38
Vancouver
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability [Internet]. Proceeding. 2013 ;[citado 2024 maio 21 ] Available from: https://doi.org/10.1109/BRACIS.2013.38

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Funding Agencies